home *** CD-ROM | disk | FTP | other *** search
- package javax.swing.plaf.basic;
-
- import java.awt.Component;
- import java.awt.Container;
- import java.awt.Dimension;
- import java.awt.Insets;
-
- public class BasicSplitPaneUI$BasicVerticalLayoutManager extends BasicSplitPaneUI.BasicHorizontalLayoutManager {
- // $FF: synthetic field
- private final BasicSplitPaneUI this$0;
-
- public BasicSplitPaneUI$BasicVerticalLayoutManager(BasicSplitPaneUI var1) {
- super(var1);
- this.this$0 = var1;
- }
-
- protected int getAvailableSize(Dimension var1, Insets var2) {
- return var2 == null ? var1.height : var1.height - (var2.bottom + var2.top + 2 * this.this$0.getDividerBorderSize());
- }
-
- protected int getInitialLocation(Insets var1) {
- return var1 != null ? var1.top : 0;
- }
-
- int getMinimumSizeOfComponent(Component var1) {
- return var1.getMinimumSize().height;
- }
-
- protected int getPreferredSizeOfComponent(Component var1) {
- return var1.getPreferredSize().height;
- }
-
- protected int getSizeOfComponent(Component var1) {
- return var1.getSize().height;
- }
-
- public Dimension minimumLayoutSize(Container var1) {
- int var3 = 0;
- int var4 = 0;
- Insets var5 = this.this$0.splitPane.getInsets();
-
- for(int var6 = 0; var6 < 3; ++var6) {
- if (super.components[var6] != null) {
- Dimension var2 = super.components[var6].getMinimumSize();
- var4 += var2.height;
- if (var2.width > var3) {
- var3 = var2.width;
- }
- }
- }
-
- if (var5 != null) {
- var3 += var5.left + var5.right;
- var4 += var5.bottom + var5.top;
- }
-
- if (super.components[0] != null && super.components[1] != null) {
- var4 += 2 * this.this$0.getDividerBorderSize();
- }
-
- return new Dimension(var3, var4);
- }
-
- public Dimension preferredLayoutSize(Container var1) {
- int var3 = 0;
- int var4 = 0;
- Insets var5 = this.this$0.splitPane.getInsets();
-
- for(int var6 = 0; var6 < 3; ++var6) {
- if (super.components[var6] != null) {
- Dimension var2 = super.components[var6].getPreferredSize();
- var4 += var2.height;
- if (var2.width > var3) {
- var3 = var2.width;
- }
- }
- }
-
- if (var5 != null) {
- var3 += var5.left + var5.right;
- var4 += var5.bottom + var5.top;
- }
-
- if (super.components[0] != null && super.components[1] != null) {
- var4 += 2 * this.this$0.getDividerBorderSize();
- }
-
- return new Dimension(var3, var4);
- }
-
- protected void setComponentToSize(Component var1, int var2, int var3, Insets var4, Dimension var5) {
- if (var4 != null) {
- var1.setBounds(var4.left, var3, var5.width - (var4.left + var4.right), var2);
- } else {
- var1.setBounds(0, var3, var5.width, var2);
- }
-
- }
- }
-